-
1 definition by mathematical induction
Математика: определение по математической индукцииУниверсальный англо-русский словарь > definition by mathematical induction
-
2 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
3 induction
1) призыв
2) индуктирование
3) индукционный
4) индукционный электротермический
5) индукция
6) наведение
7) емкостный
8) ввод
9) <engin.> асинхронный
– back induction
– complete induction
– definition by induction
– descending induction
– electrization by induction
– electromagnetic induction
– emf of mutual induction
– homopolar induction
– induction ammeter
– induction balance
– induction brazing
– induction coil
– induction drag
– induction effect
– induction field
– induction generator
– induction hardening
– induction heater
– induction heating
– induction inclinometer
– induction manifold
– induction meter
– induction motor
– induction pump
– induction smelting
– induction step
– induction string
– induction voltmeter
– induction zone
– informal induction
– magnetic induction
– mathematical induction
– motional induction
– mutual induction
– nuclear induction
– proceed by induction
– prove by induction
– residual induction
– saturation induction
– transfinite induction
axiom of complete induction — аксиома математической индукции
cored induction furnace — канальная индукционная электропечь
crucible induction furnace — тигельная индукционная электропечь
remote-indicating induction compass — компас индукционный дистанционный
-
4 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
См. также в других словарях:
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… … Wikipedia
Mathematical modelling of infectious disease — It is possible to mathematically model the progress of most infectious diseases to discover the likely outcome of an epidemic or to help manage them by vaccination. This article uses some basic assumptions and some simple mathematics to find… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
List of mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… … Wikipedia